大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Computing the Electrical Activity in the Heart [electronic resource]

0
索取号：
作者：Sundnes、 Joakim.、Lines、 Glenn Terje.、Cai、 Xing.、Nielsen、 Bj酶rn Fredrik.、Mardal、 Kent-Andre.、Tveito、 Aslak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Multi-Agent-Based Simulation VI [electronic resource] : International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

0
索取号：
作者：Sichman、 Jaime S.、Antunes、 Luis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Security in Pervasive Computing [electronic resource] : Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings

0
索取号：
作者：Clark、 John A.、Paige、 Richard F.、Polack、 Fiona A. C.、Brooke、 Phillip J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Engineering Self-Organising Systems [electronic resource] : Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

0
索取号：
作者：Brueckner、 Sven A.、Marzo Serugendo、 Giovanna.、Hales、 David.、Zambonelli、 Franco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings

0
索取号：
作者：Rothlauf、 Franz.、Branke、 J眉rgen.、Cagnoni、 Stefano.、Costa、 Ernesto.、Cotta、 Carlos.、Drechsler、 Rolf.、Lutton、 Evelyne.、Machado、 Penousal.、Moore、 Jason H.、Romero、 Juan.、Smith、 George D.、Squillero、 Giovanni.、Takagi、 Hideyuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems [electronic resource] : AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

0
索取号：
作者：Faratin、 Peyman.、Rodr铆guez-Aguilar、 Juan A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

0
索取号：
作者：Baldoni、 Matteo.、Endriss、 Ulle.、Omicini、 Andrea.、Torroni、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Learning and Adaption in Multi-Agent Systems [electronic resource] : First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

0
索取号：
作者：Tuyls、 Karl.、Hoen、 Pieter Jan鈥檛.、Verbeeck、 Katja.、Sen、 Sandip.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

0
索取号：
作者：Aceto、 Luca.、Ing贸lfsd贸ttir、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Excavations and Foundations in Soft Soils [electronic resource]

0
索取号：
作者：Kempfert、 Hans-Georg.、Gebreselassie、 Berhane.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Scientific Computing in Electrical Engineering [electronic resource]

0
索取号：
作者：Anile、 Angelo Marcello.、Al矛、 Giuseppe.、Mascali、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Gene Expression Programming [electronic resource] : Mathematical Modeling by an Artificial Intelligence

0
索取号：
作者：Ferreira、 C芒ndida.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Hadron Collider Physics 2005 [electronic resource] : Proceedings of the 1st Hadron Collider Physics Symposium, Les Diablerets, Switzerland, July 4-9, 2005

0
索取号：
作者：Wu、 Xin.、Clark、 Allan.、Campanelli、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

0
索取号：
作者：Thompson、 Simon G.、Ghanea-Hercock、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Architecture of Computing Systems - ARCS 2006 [electronic resource] : 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings

0
索取号：
作者：Grass、 Werner.、Sick、 Bernhard.、Waldschmidt、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Aspects in Security and Trust [electronic resource] : Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

0
索取号：
作者：Dimitrakos、 Theo.、Martinelli、 Fabio.、Ryan、 Peter Y. A.、Schneider、 Steve.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.